perm filename AUTO[1,JRA] blob
sn#015592 filedate 1972-12-04 generic text, type T, neo UTF8
00100
00200
00300 (DEFPROP AUTO
00400 (LAMBDA(XX)
00500 (PROG (X1 Z2 D M STRATEGY SUPPORT EDITSTRAT MERGE ORDER DEBUG ANCESTRY PMODEL NMODEL PFLG PDEPTH DLIST)
00600 (COND (EQUAL (SETQ PFLG NIL)) (T (SETQ PFLG NIL)))
00700 (SETQ PDEPTH 101)
00800 (SETQ DDEPTH 1)
00900 (COND
01000 ((NULL EQUAL) (PRINT (QUOTE (IS THERE AN EQUALITY PREDICATE (Y / N))))
01100 (COND
01200 ((EQ (READ) (QUOTE Y)) (PRINT (QUOTE (WHAT IS IT)))
01300 (SETQ PFLG NIL)
01400 (SETQ EQUAL (READ))))))
01500 (SETQ X1 XX)
01600 (SETQ M (SETQ D 0))
01700 A (SETQ M (MAX M (LENGTH (CDAR X1))))
01800 (SETQ D (MAX D (DEPTH (CDAR X1))))
01900 (SETQ Z2 (CAR X1))
02000 (COND
02100 ((AND (EQ (LENGTH (CDR Z2)) 1) (EQ (CAADR Z2) EQUAL) (NOT (EQ (CADADR Z2) (CAR (CDDADR Z2)))))
02200 (SETQ DLIST (CONS (CONS (CONS (CAAAR Z2) (CDAR Z2)) (CDR Z2)) DLIST))))
02300 (SETQ X1 (CDR X1))
02400 (COND ((CDR X1) (GO A)))
02500 (SETQ Z2 (ASSOC (QUOTE THEOREM) NEWNAME))
02600 (COND ((NULL Z2) (GO C)) (T (SETQ Z2 (CDR Z2))))
02700 B (COND (Z2 (SETQ SUPPORT (CONS (CDAR Z2) SUPPORT)) (SETQ Z2 (CDR Z2)) (GO B)))
02800 C (COND ((NULL LENGTH) (SETQ LENGTH (DIFFERENCE (PLUS M (LENGTH (CDAR X1))) 2)))
02900 ((ZEROP ITER) (SETQ LENGTH (ADD1 LENGTH))))
03000 (COND ((NOT (GREATERP LENGTH 0)) (SETQ LENGTH 1)))
03100 (COND ((NULL DEPTH) (SETQ DEPTH (ADD1 D))) ((NOT (ZEROP ITER)) (SETQ DEPTH (ADD1 DEPTH))))
03200 (COND ((ZEROP ITER) (SETQ ITER 1)) (T (SETQ ITER 0)))
03300 (COND (SUPPORT (SETQ STRATEGY (QUOTE (LAMBDA (C1 C2) (SUPPORT C2))))))
03400 (SETQ ANCESTRY T)
03500 (SETQ EDITSTRAT
03600 (QUOTE (LAMBDA (C) (OR (GREATERP (LENGTH (CDR C)) LENGTH) (GREATERP (DEPTH (CDR C)) DEPTH)))))
03700 (SETQ DEBUG T)
03800 (SETQ DLIST NIL)
03900 (RETURN
04000 (LIST STRATEGY
04100 SUPPORT
04200 EDITSTRAT
04300 MERGE
04400 ORDER
04500 DEBUG
04600 DEPTH
04700 LENGTH
04800 ANCESTRY
04900 PMODEL
05000 NMODEL
05100 PFLG
05200 EQUAL
05300 PDEPTH
05400 DLIST))))
05500 EXPR)